Proof of the hypothesis Edmonds's, not polynomial of NPC-problems and classification of the problems with polynomial certificates

نویسنده

  • B. S. Kochkarev
چکیده

Proof of the hypothesis Edmonds's, not polynomial of NPC-problems and classification of the problems with polynomial certificates Abstract We show that the affirmation P ⊆ N P (in computer science) erroneously and we prove the justice of the hypotesis J.Edmonds's P = N P. We show further that all the N P-complete problems is not polynomial and we give the classification of the problems with the polynomial certificates. concept of complexity class P. Definition 1 [1,2]. A language L belong to P if there is an algorithm A that decide L in polynomial time (≤ O(n k)) for a constant k. Class of problems P is called polynomial. According [3] J.Edmonds has entered also the complexity class NP. This is the class of the problems (langages) that can be verified by a polynomial-time algorithm. Definition 2 [3]. A langage L belongs to NP if there exists a two-input polynomial-time algorithm A and such polynomial p(x) with whole coefficients that L = {x ∈ {0, 1} * : there exists a certificate y with | y |≤ p(| x |) and A(x, y) = 1}. In this case we say that the algorithm A verifies the language L in polynomial time. length of the certificate not polynomial from length x, then L / ∈ NP. J. Edmonds has conjectured also that P = NP. In [4] we builded one class of the polynomial problems with not polynomial certificates. According of the considerations see above immediately it follows that P = NP. In [3,5,6] authors consider only two version P ⊆ NP In 1971 S.A.Cook has put the question: " whether can the verification of correctness of the decision of a problem be more long than the decision itself independently of algorithm of verification? " This problem have a relation to cryptography. In other formulation this problem look so: whether can to build a cipher such that his decipher algorithmically more complicated than find of cipher?

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

NON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS

A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...

متن کامل

Parallelizing Assignment Problem with DNA Strands

Background:Many problems of combinatorial optimization, which are solvable only in exponential time, are known to be Non-Deterministic Polynomial hard (NP-hard). With the advent of parallel machines, new opportunities have been emerged to develop the effective solutions for NP-hard problems. However, solving these problems in polynomial time needs massive parallel machines and ...

متن کامل

Global optimization of mixed-integer polynomial programming problems: A new method based on Grobner Bases theory

Mixed-integer polynomial programming (MIPP) problems are one class of mixed-integer nonlinear programming (MINLP) problems where objective function and constraints are restricted to the polynomial functions. Although the MINLP problem is NP-hard, in special cases such as MIPP problems, an efficient algorithm can be extended to solve it. In this research, we propose an algorit...

متن کامل

NON-POLYNOMIAL SPLINE SOLUTIONS FOR SPECIAL NONLINEAR FOURTH-ORDER BOUNDARY VALUE PROBLEMS

We present a sixth-order non-polynomial spline method for the solutions of two-point nonlinear boundary value problem u(4)+f(x,u)=0, u(a)=α1, u''(a)= α2, u(b)= β1,u''(b)= β2, in off step points. Numerical method of sixth-order with end conditions of the order 6 is derived. The convergence analysis of the method has been discussed. Numerical examples are presented to illustrate the applications ...

متن کامل

A Unified Approach for Design of Lp Polynomial Algorithms

By summarizing Khachiyan's algorithm and Karmarkar's algorithm forlinear program (LP) a unified methodology for the design of polynomial-time algorithms for LP is presented in this paper. A key concept is the so-called extended binary search (EBS) algorithm introduced by the author. It is used as a unified model to analyze the complexities of the existing modem LP algorithms and possibly, help ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1303.2580  شماره 

صفحات  -

تاریخ انتشار 2013